- 双语例句 更多例句
1、
2、
部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。
互联网摘选
3、
4、
So, this paper addresses how to define program semantics on dynamic data structures.
本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。
互联网摘选
5、
基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。
互联网摘选
- 相关词组
- sustaining programn.<美>非营业性的独立节目;非商业节目;
- flexible benefits program弹性福利计划;
- executive development program主管发展计划;
- modularized program模块化程序;
- jap-job analysis program工作分析程序法;
- map programun.变换程序；分布图程序
- United Nations Development Program联合国开发计划署;
- united nations development program网络联合国开发计划署; 开发计划署; 联合国发展计划署; 联合国发展计划; 联合国开发计划处;
- TV programn.电视节目;
- program behavior model程序功效模型;
- tv programn.电视节目;
- attitude awareness and change program态度意识和改变计划;态度认知与改动计划
- drawing program放矿计划;
- pilot program试点计划;
- World Food Program世界粮食计划署
- anti-virus program防毒程序;
- program directorn.节目部主任，计划主持人;
- program musicn.标题音乐，描写音乐;
- problem program问题程序;
- uranium enrichment program铀浓缩计划;
- 今日热词
- 热门搜索
- am abbr.（=amplitude modulation） <无>调频，调谐;vi.（用于第一人称单数现在时）是;
- force v.强迫;强行;把…强加给;用力推动;n.暴力;力量;影响力;(物理学)力;风力级数;军事力量;警察机关;
- learn v.学;获悉;学会;吸取教训;熟记;
- shelter n.遮蔽（物），庇护（处）;居所;收容所;v.遮蔽;躲避，避难;庇护;
- outspoken adj.直言的;坦率的;毫无保留的;心急口快;
- handwriting n.书法，手书;笔迹，字迹;v.亲手写(handwrite的ing形式);
- canteen n.食堂;餐厅;水壶;餐具盒;
- CW abbr.The CW Television Network CW电视台;Continuous Wave Radar 等幅波雷达;Cold Welding 冷焊;Chemical Warfare 化学战;abbr.连续波;有电话;货物重量(Cargo Weight);起货绞车；起货机(Cargo Winch)
- remedy n.治疗法;补救办法;纠正办法;（硬币的）公差;vt.改正，纠正，改进;补救;治疗;
- term n.学期;条款;术语;期限;vt.把…称为;把…叫做;
- general n.将军;(陆军、海军陆战队或美国空军)上将adj.一般的;总的;普遍的;大致的，大概的（方向或地区）;常规的;大体的;整体的;正常的;全体的;首席的;笼统的;概括性的;非专门的
- creep v.蹑手蹑脚地移动;缓慢移动;不知不觉地发生;逐渐增长;n.讨厌鬼; 马屁精;
